Dines Bjørner - PDFSEARCH.IO - Document Search Engine

Dines Bjørner
Results: 39

#	Item
11	1 Domain Engineering A Basis for Safety Critical Software Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-04-30 21:31:19
12	Domains Their Simulation, Monitoring and Control — A Divertimento of Ideas and Suggestions — Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark Add to Reading List Source URL: www.imm.dtu.dk - Date: 2011-07-07 09:08:57
13	Domain Science & Engineering∗ Dines Bjørner DTU Informatics, Techn.Univ.of Denmark , www.imm.dtu.dk/~dibj November 17, 2012: 16:19 1 Add to Reading List Source URL: www2.imm.dtu.dk - Date: 2012-11-17 10:21:15
14	To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs. Add to Reading List Source URL: www2.compute.dtu.dk - Date: 2016-12-09 10:06:07
15	Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Add to Reading List Source URL: www.imm.dtu.dk - Date: 2016-09-28 03:17:34
16	ProCoS: How It All Began – as seen from Denmark Dines Bjørner Fredsvej 11, DK-2840 Holte, Denmark∗ October 30, 2015 Abstract I reminisce over an episode at the 9–13 November 1987 IFIP WG2.3 meeting at Chˆ Add to Reading List Source URL: www.imm.dtu.dk - Date: 2016-02-16 04:46:47
17	66 Lecture 3: Entities c Dines Bjørner 2011, Fredsvej 11, DK–2840 Holte, Denmark - April 25, 2012: 15:51 Add to Reading List Source URL: www2.imm.dtu.dk - Date: 2012-04-30 10:39:34
18	Domain Science & Engineering A Prerequisite for Requirements Engineering ASSC Melbourne Tutorial Notes, May 28, 2014 Dines Bjørner Fredsvej 11, DK–2840 Holte, Denmark , www.imm.dtu.dk/~dibj Add to Reading List Source URL: www.imm.dtu.dk - Date: 2014-04-08 06:25:26
19	Manifest domains: analysis and description Dines Bjørner Formal Aspects of Computing Applicable Formal Methods Add to Reading List Source URL: www2.compute.dtu.dk - Date: 2016-09-28 03:17:34
20	1 A New Foundation for Computing Science A Research & Experimental Engineering Programme Dines Bjørner Add to Reading List Source URL: www.imm.dtu.dk - Date: 2015-09-22 05:45:58